w{-}E($w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$p$:(Id$\times\mathbb{N}$)$\mid$ $\neg$w{-}isnull($w$; w{-}a($w$; 1of($p$); 2of($p$))) \}